modeling and evaluation of stochastic discrete-event systems with raylang formalism

نویسندگان

ali khalili

school of computer engineering, iran university of science and technology, tehran, iran mohammad abdollahi azgomi

school of computer engineering, iran university of science and technology, tehran, iran

چکیده

in recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. in the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. in this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (oopls) used by engineers and the formalisms used for evaluation and verification purposes. we propose the syntax and semantics of a new object-oriented modeling language for discrete-event systems called raylang. we have designed the syntax of raylang similar to oopls. in raylang models, objects that are instantiated from classes, run concurrently and can communicate with each other by requesting services. every object in raylang models has some internal state variables and some service handlers for executing the requests of other objects. we have shown that markovian raylang models can be transformed into continuous-time markov chains (ctmcs) and then can be solved by existing solution techniques. for modeling, discrete-event simulation and analytic solution of raylang models, we have implemented these models in the pdetool framework.

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Modeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism

In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...

متن کامل

Modeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism

In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...

متن کامل

modeling and evaluation of stochastic discrete-event systems with raylang formalism

in recent years, formal methods have been used as an important tool forperformance evaluation and verification of a wide range of systems. in the viewpoints of engineers and practitioners, however, there are still some major difficultiesin using formal methods. in this paper, we introduce a new formal modelinglanguage to fill the gaps between object-oriented programming languages (oopls)used by...

متن کامل

Modeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism

In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...

متن کامل

Modeling Stochastic Discrete Event Systems

The formalism of probabilistic languages has been introduced for modeling the qualitative behavior of stochastic discrete event systems. A probabilistic language is a unit interval valued map over the set of traces of the system satisfying certain consistency constraints. Regular language operators such as choice, concatenation, and Kleene-closure have been de ned in the setting of probabilisti...

متن کامل

Stdevs. a Novel Formalism for Modeling and Simulation of Stochastic Discrete Event Systems

This article presents an extension of the DEVS formalism to represent stochastic discrete event systems. Making use of probability space theory, the resulting STDEVS formalism provides a formal framework for modeling an simulation of non–deterministic DEVS models.

متن کامل

منابع من

با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید


عنوان ژورنال:
journal of advances in computer research

جلد ۳، شماره ۴، صفحات ۱-۱۶

میزبانی شده توسط پلتفرم ابری doprax.com

copyright © 2015-2023